$Q$ $\leftarrow-$$f$$--$ $P$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:\{$e$:E$\mid$ $P$($e$)\} . ($f$($e$) $<$ $e$) \& $Q$($f$($e$))